Korpus Języka Polskiego PWN

Autentyczne przykłady użycia w piśmie i mowie zgromadzone w Korpusie

... funkcji m-definiowalnych i z klasą funkcji obliczalnych za pomocą maszyn Turinga. Powstała w ten sposób teoria funkcji rekurencyjnych jest dziś ważnym...
... nad charakteryzowaniem efektywnej obliczalności za pomocą maszyn abstrakcyjnych (zwanych dziś maszynami Turinga). Wszystkie te badania, prowadzone przy odwołaniu się do różnych motywacji...

O korpusie